Compiler construction - PDFSEARCH.IO - Document Search Engine

Compiler construction
Results: 1898

#	Item
611	A Formally-Verified Alias Analysis Valentin Robert1,2 and Xavier Leroy1 1 INRIA Paris-Rocquencourt University of California, San Diego Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2012-09-27 10:06:58 Static program analysis Programming language implementation Compiler construction Alias analysis Pointer Compiler optimization Abstract interpretation ATS Stack Software engineering Computing Programming language theory
612	Adapting a general parser to a sublanguage Sophie Aubin, Adeline Nazarenko and Claire N´ edellec** () LIPN, University of Paris 13 & CNRS UMR, av. J.B. Cl´ement, FVilletaneuse, France {sophie.aubin,na Add to Reading List Source URL: www.abiword.org Language: English* - Date: 2013-03-19 19:17:33 Formal languages Computational linguistics Speech recognition Compiler construction Parsing Natural language processing Link grammar Dependency grammar Formal grammar Programming language implementation Linguistics Syntax
613	Microsoft Word - CBEAll.doc Add to Reading List Source URL: www.dbnet.ece.ntua.gr Language: English - Date: 2005-12-08 10:50:18 Procedural programming languages Compiler construction Formal languages Compiler Code generation Syntax Parsing Programming language Pascal Software engineering Computing Computer programming
614	Titanium: A High-Performance Java Dialect Kathy Yelick, Luigi Semenzato, Geoff Pike, Carleton Miyamoto, Ben Liblit, Arvind Krishnamurthy, Paul Hilfinger, Susan Graham, David Gay, Phil Colella, and Alex Aiken Computer Sci Add to Reading List Source URL: www.barnowl.org Language: English - Date: 2007-08-03 17:48:46 Compiler construction Parallel computing Programming language implementation Compiler optimizations Programming paradigms Static single assignment form Partitioned global address space Automatic parallelization Unified Parallel C Computing Software engineering Computer programming
615	Implementing Semantic Feedback in a Diagram Editor Niklas Fors Görel Hedin Department of Computer Science Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2013-06-17 11:17:27 Compiler construction Software Attribute grammar EXPRESS Entity-relationship model HTML element Abstract syntax tree Formal grammar Attribute Computing Software engineering Formal languages
616	Validating LR(1) Parsers Jacques-Henri Jourdan1,2 , Fran¸cois Pottier2 , and Xavier Leroy2 1 2 ´ Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2012-01-06 07:45:45 Syntax Linguistics Compiler construction Combinatorics on words LR parser Lookahead Compiler-compiler SLR grammar String Formal languages Combinatorics Parsing
617	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) A formally verified compiler back-end Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-10-29 04:36:18 Compiler construction Programming language implementation Type theory Compilers Procedural programming languages Compiler Type system Formal verification Type safety Software engineering Computing Software
618	Compilation for Explicitly Managed Memory Hierarchies Timothy J. Knight Ji Young Park Manman Ren Mike Houston Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-01-12 21:55:15 Compiler optimizations Computer memory Programming language implementation Compiler construction Parallel computing Cell Compiler SPMD Software pipelining Computing Software engineering Computer programming
619	Playing with bird guts Jonathan Worthington YAPC::EU::2007 Playing with bird guts Add to Reading List Source URL: www.jnthn.net Language: English - Date: 2014-10-21 09:51:17 Compiler construction Compiling tools Parser generators Perl Parrot virtual machine Lexical analysis Yacc International Mayor Communication Centre Parsing Software Computing Programming language implementation
620	Formal verification of a realistic compiler Xavier Leroy INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-04-07 07:40:29 Compilers Programming language implementation Functional languages Formal methods Compiler correctness Compiler Compcert Xavier Leroy Code generation Software Computing Compiler construction

UPDATE